writing systems of inequalities